Narrow your search

Library

KDG (185)

AP (183)

Arteveldehogeschool (3)

KBR (2)

PXL (2)

UCLL (2)

VIVES (2)

Belgian Parliament (1)

DB (1)

EHC (1)

More...

Resource type

digital (182)

book (4)


Language

English (182)

Dutch (3)


Year
From To Submit

2018 (185)

Listing 1 - 10 of 185 << page
of 19
>>
Sort by

Digital
Software Fault Prediction : A Road Map
Authors: ---
ISBN: 9789811087158 Year: 2018 Publisher: Singapore Springer Singapore, Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book focuses on exploring the use of software fault prediction in building reliable and robust software systems. It is divided into the following chapters: Chapter 1 presents an introduction to the study and also introduces basic concepts of software fault prediction. Chapter 2 explains the generalized architecture of the software fault prediction process and discusses its various components. In turn, Chapter 3 provides detailed information on types of fault prediction models and discusses the latest literature on each model. Chapter 4 describes the software fault datasets and diverse issues concerning fault datasets when building fault prediction models. Chapter 5 presents a study evaluating different techniques on the basis of their performance for software fault prediction. Chapter 6 presents another study evaluating techniques for predicting the number of faults in the software modules. In closing, Chapter 7 provides a summary of the topics discussed. The book will be of immense benefit to all readers who are interested in starting research in this area. In addition, it offers experienced researchers a valuable overview of the latest work in this area.


Digital
Fundamentals of Software Culture
Authors: --- --- --- --- --- et al.
ISBN: 9789811307010 Year: 2018 Publisher: Singapore Springer Singapore, Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

As the first book about software culture, this book discusses software culture from three perspectives including historical perspective, the classification of software and software applications. This book takes credit from the view of science and technology development. It analyzed scientific innovations and the social areas promoted following the growth of technology. And according to the fact that information helps to build human cultural form, we proposed the concept and researching method of software culture. The aim of writing this book is to strengthen the connection between software and culture, to replenish knowledge system in the subject of software engineering, and to establish a new area of study that is the culture of software.


Digital
Refinement : Semantics, Languages and Applications
Authors: ---
ISBN: 9783319927114 Year: 2018 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related. .


Digital
The Kitty Hawk Venture : A Novel About Continuous Testing in DevOps to Support Continuous Delivery and Business Success
Authors: --- ---
ISBN: 9781484236611 Year: 2018 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

An airline is supposed to make the experience of booking a flight easy, trouble free, and reliable. But when scheduling software breaks down and flights get canceled, customers will walk, and heads will roll. That’s what Leigh Freemark faces the day she and her team launch a software upgrade that fails spectacularly and hits the media immediately. As Senior Director of Quality Assurance, her job is to make sure that code is market ready. And she’s the one who must face the music when it doesn’t. Tasked by senior management to find and fix the source of the failure, Leigh discovers just how essential it has become to radically improve the process of software development by introducing a concept called continuous testing. She must quickly learn what it means, how it works, and how to build it into her company’s legacy system. But she soon discovers that managing change is much more difficult than it first appears. The airline business is changing fast, yet old traditions and loyalties still dominate. As she fights to convince her team to change or perish, she discovers that obstructions and opportunities come in surprising forms. *** In The Kitty Hawk Venture, the authors deliver a sound lesson in the importance of continuous testing while taking the reader inside the world of commercial aviation. Each chapter delivers distinct and vital learning opportunities wrapped inside a fast-moving narrative complete with interesting characters, intriguing situations, and even some humor. The book concludes with a “Flight Plan for Continuous Testing” that stands on its own as a valuable resource guide for digital leaders in their continuous testing journey. The story is immediately relatable to anyone who has worked in software development or for the companies that rely on it.


Digital
Software Languages : Syntax, Semantics, and Metaprogramming
Author:
ISBN: 9783319908007 Year: 2018 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages – most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor’s (advanced level) or master’s university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.


Digital
Modern Business Management : Creating a Built-to-Change Organization
Authors: ---
ISBN: 9781484232613 Year: 2018 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

Transform your entire organization, not just a part of it. Take a modern look now that the world is focusing on business agility rather than thinking about team-level or even scaled Agile. Many people and businesses believe that “doing Agile” will solve all their business and organizational problems. The truth is that “doing Agile”, especially team-level agility, is not the same as being an agile organization. Authors Doug Dockery and Laureen Knudsen share their years of experience in transforming corporations and organizations to successfully compete and win in today’s fast-paced markets. Using proven techniques and stories of actual experiences in a multitude of organizations, Doug and Laureen relate what it takes to successfully transform your organization, as well as how to tell if your transformation is working. Modern Business Management details what you need to know to transform your business to deliver value and thrive. Coverage includes: What Agile means to an executive and the benefits you should be seeing The top failure modes and why so many transformations fail A framework for success, including an operational framework and a transformation framework How big data internal to a company is needed to successfully run a world-wide corporation today The definition of a modern business and what it looks like What You’ll learn: Understand why businesses are not getting the benefits out of their current Agile transformation Follow the process that organizations need to go through to succeed See how C-level executives can benefit from Agile practices Know how to succeed where others are failing Discover how to keep up with a constantly disrupted and ever-changing market.


Digital
Practical TLA+ : Planning Driven Development
Author:
ISBN: 9781484238295 Year: 2018 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency. Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications. You will: Read and write TLA+ specifications Check specs for broken invariants, race conditions, and liveness bugs Design concurrency and distributed systems Learn how TLA+ can help you with your day-to-day production work.


Digital
REST API Development with Node.js : Manage and Understand the Full Capabilities of Successful REST Development
Author:
ISBN: 9781484237151 Year: 2018 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

Manage and understand the full capabilities of successful REST development. REST API development is a hot topic in the programming world, but not many resources exist for developers to really understand how you can leverage the advantages. This completely updated second edition provides a brief background on REST and the tools it provides (well known and not so well known), then explains how there is more to REST than just JSON and URLs. You will learn about the maintained modules currently available in the npm community, including Express, Restify, Vatican, and Swagger. Finally you will code an example API from start to finish, using a subset of the tools covered. The Node community is currently flooded with modules; some of them are published once and never updated again - cluttering the entire universe of packages. Pro REST API Development with Node.js shines light into that black hole of modules for the developers trying to create an API. Understand REST API development with Node.js using this book today. .


Digital
Practical Docker with Python : Build, Release and Distribute your Python App with Docker
Author:
ISBN: 9781484237847 Year: 2018 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

Learn the key differences between containers and virtual machines. Adopting a project based approach, this book introduces you to a simple Python application to be developed and containerized with Docker. After an introduction to Containers and Docker you'll be guided through Docker installation and configuration. You'll also learn basic functions and commands used in Docker by running a simple container using Docker commands. The book then moves on to developing a Python based Messaging Bot using required libraries and virtual environment where you'll add Docker Volumes to your project, ensuring your container data is safe. You'll create a database container and link your project to it and finally, bring up the Bot-associated database all at once with Docker Compose. .


Digital
Software Processes and Life Cycle Models : An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
Author:
ISBN: 9783319988450 Year: 2018 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book provides a comprehensive overview of the field of software processes, covering in particular the following essential topics: software process modelling, software process and lifecycle models, software process management, deployment and governance, and software process improvement (including assessment and measurement). It does not propose any new processes or methods; rather, it introduces students and software engineers to software processes and life cycle models, covering the different types ranging from “classical”, plan-driven via hybrid to agile approaches. The book is structured as follows: In chapter 1, the fundamentals of the topic are introduced: the basic concepts, a historical overview, and the terminology used. Next, chapter 2 covers the various approaches to modelling software processes and lifecycle models, before chapter 3 discusses the contents of these models, addressing plan-driven, agile and hybrid approaches. The following three chapters address various aspects of using software processes and lifecycle models within organisations, and consider the management of these processes, their assessment and improvement, and the measurement of both software and software processes. Working with software processes normally involves various tools, which are the focus of chapter 7, before a look at current trends in software processes in chapter 8 rounds out the book. This book is mainly intended for graduate students and practicing professionals. It can be used as a textbook for courses and lectures, for self-study, and as a reference guide. When used as a textbook, it may support courses and lectures on software processes, or be used as complementary literature for more basic courses, such as introductory courses on software engineering or project management. To this end, it includes a wealth of examples and case studies, and each chapter is complemented by exercises that help readers gain a better command of the concepts discussed.

Listing 1 - 10 of 185 << page
of 19
>>
Sort by